What Makes a Five-Year Plan Feasible?

What a difference a year makes.

At this time in 2016, US monetary policymakers were reeling from the reaction in financial markets wrought by their quarter-point rate hike at their December meeting. This was not the plan. Some tightening in 2015 had been tipped for what seemed like forever, so there was no element of surprise in the Federal Open Market Committee (FOMC) slipping into action just before the year closed. After t...

Analogy Makes Proofs Feasible

Many mathematical proofs are hard to generate for humans and even harder for automated theorem provers. Classical techniques of automated theorem proving involve the application of basic rules, of built-in special procedures, or of tactics. Melis (Melis 1993) introduced a new method for analogical reasoning in automated theorem proving. In this paper we show how the derivational analogy replay ...

What a difference a year makes? Too little too late.

'… if we could successfully intervene and change a woman's age at first birth and n oth in g else about her up to that point'? 1 Scally argu es th at we do n ot deal with th e m u ch m ore im port-an t issu es of th e edu cation al an d social effects of early m oth er-h ood an d focu s on a n arrow m edical defin ition of pu blic h ealth. We wou ld argu e th at we deal prim arily with th e det...

Polymeric Gas Separation Membranes: What Makes them Industrially more Attractive?

D. Plan for Second Five-year Period, including Exit Strategy, Cir, 179573 A. Research Plan

2 D.1 Project description Objective The scientific goal of CIR is to identify mechanisms of immune dysregulation that contribute to immune-mediated disease (www.cir.uio.no). Three models of autoimmune and allergic disease are studied in detail to identify novel mechanisms amenable to therapeutic intervention. Establishment of the Centre has brought together five research groups with complementa...